Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
931	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
932	white paper Successful projects start with high quality requirements Defining requirements clearly and accurately at the outset speeds software development processes and delivers dramatic savings. Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Software Software requirements Formal methods Software project management Software engineering Requirements analysis Requirements management Requirement Business analyst Software development Systems engineering Business
933	Managing Iterative Software Development Managing Iterative Software Development....................................................1 Introduction.......................................................................... Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Formal methods Software project management Unified Process Software development methodology Systems engineering process Dynamic systems development method Performance engineering Software development Software development process Software
934	The Tactics of Software Development Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Introduction In a recent article, I compared and contrasted the job of a Premier League Football Manager with Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Product management Software development process Software project management Formal methods Software engineering Dynamic systems development method IBM Rational Unified Process Project manager Software development methodology Software development Software Project management
935	What does your Software Development Process do for you? Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Contents What does your Software Development Process do for you? ........................... Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Software project management Formal methods Agile software development IBM Rational Unified Process Dynamic systems development method Unified Process Extreme programming Capability Maturity Model Project management Software development Software Software development process
936	The Use of Data Mining Methods to Evaluate Public Interest in Carbon Sequestration There has been no formal quantitative studies examining global warming in the news and comparing it with the occurrence of carbon sequest Add to Reading List Source URL: kalevleetaru.com Language: English - Date: 2011-02-15 16:52:09 Global warming Carbon dioxide Climatology Environment Chemical engineering Carbon capture and storage Carbon sink Carbon sequestration Climate change Climate history
937	REGULATIONS FOR THE DEGREE OF MASTER OF STATISTICS (MStat) For students admitted in[removed]and thereafter (See also General Regulations) Any publication based on work approved for a higher degree should contain a refe Add to Reading List Source URL: www.asa.hku.hk Language: English - Date: 2013-12-09 11:06:42 Scientific method Multivariate statistics Formal sciences Structural equation modeling Data mining Data analysis Regression analysis Statistical theory Spatial analysis Statistics Statistical methods Econometrics
938	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking
939	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-03-12 11:18:03 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking
940	A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:50:31 Mathematics Formal methods Philosophical logic Quantification Free variables and bound variables Type theory Denotational semantics Combinatory logic Logic Mathematical logic Predicate logic